Fernández-Duque, David: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

1

A geometric protocol for cryptography with cards

Cordón-Franco, Andrés, van Ditmarsch, Hans, Fernández-Duque, David, Soler-Toscano, Fernando

Journal:

Designs, Codes and Cryptography

Year:

2015

Language:

english

File:

PDF, 261 KB

english, 2015

2

Evidence and plausibility in neighborhood structures

van Benthem, Johan, Fernández-Duque, David, Pacuit, Eric

Journal:

Annals of Pure and Applied Logic

Year:

2014

Language:

english

File:

PDF, 469 KB

english, 2014

3

STRONG COMPLETENESS OF PROVABILITY LOGIC FOR ORDINAL SPACES

AGUILERA, JUAN P., FERNÁNDEZ-DUQUE, DAVID

Journal:

Journal of Symbolic Logic

Year:

2017

Language:

english

File:

PDF, 292 KB

english, 2017

4

Do Forest Composition and Fruit Availability Predict Demographic Differences Among Groups of Territorial Owl Monkeys (Aotus azarai)?

Griëtte van der Heide, Eduardo Fernandez-Duque, David Iriart, Cecilia Paola Juárez

Journal:

International Journal of Primatology

Year:

2012

Language:

english

File:

PDF, 379 KB

english, 2012

5

Mutational changes in S-cone opsin genes common to both nocturnal and cathemeral Aotus monkeys

David H. Levenson, Eduardo Fernandez-duque, Sian Evans, Gerald H. Jacobs

Journal:

American Journal of Primatology

Year:

2007

Language:

english

File:

PDF, 122 KB

english, 2007

6

Dynamic Topological Logic Interpreted over Minimal Systems

David Fernández-Duque

Journal:

Journal of Philosophical Logic

Year:

2011

Language:

english

File:

PDF, 628 KB

english, 2011

7

Tangled modal logic for topological dynamics

David Fernández-Duque

Journal:

Annals of Pure and Applied Logic

Year:

2012

Language:

english

File:

PDF, 308 KB

english, 2012

8

On Provability Logics with Linearly Ordered Modalities

Lev D. Beklemishev, David Fernández-Duque, Joost J. Joosten

Journal:

Year:

2014

Language:

english

File:

PDF, 362 KB

english, 2014

9

The omega-rule interpretation of transfinite provability logic

Fernández-Duque, David, Joosten, Joost J.

Journal:

Annals of Pure and Applied Logic

Year:

2017

Language:

english

File:

PDF, 1.85 MB

english, 2017

10

The Dynamics of Epistemic Attitudes in Resource-Bounded Agents

Balbiani, Philippe, Fernández-Duque, David, Lorini, Emiliano

Journal:

Year:

2018

Language:

english

File:

PDF, 664 KB

english, 2018

11

Secure aggregation of distributed information: How a team of agents can safely share secrets in front of a spy

Fernández-Duque, David, Goranko, Valentin

Journal:

Discrete Applied Mathematics

Year:

2016

Language:

english

File:

PDF, 528 KB

english, 2016

12

Breeding biology during the nestling period at a Black-crowned Pitta Erythropitta ussheri nest

Gulson-Castillo, Eric R., Dreelin, R. Andrew, Fernandez-Duque, Facundo, Greig, Emma I., Hite, Justin M., Orzechowski, Sophia C., Smith, Lauren K., Wallace, Rachel T., Winkler, David W.

Year:

2017

Language:

english

File:

PDF, 4.27 MB

english, 2017

13

Hyperations, Veblen progressions and transfinite iteration of ordinal functions

Fernández-Duque, David, Joosten, Joost J.

Journal:

Annals of Pure and Applied Logic

Year:

2013

Language:

english

File:

PDF, 262 KB

english, 2013

14

Models of transfinite provability logic

Fernández-Duque, David, Joosten, Joost J.

Journal:

Journal of Symbolic Logic

Year:

2013

Language:

english

File:

PDF, 199 KB

english, 2013

15

A colouring protocol for the generalized Russian cards problem

Cordón-Franco, Andrés, van Ditmarsch, Hans, Fernández-Duque, David, Soler-Toscano, Fernando

Journal:

Theoretical Computer Science

Year:

2013

Language:

english

File:

PDF, 320 KB

english, 2013

16

A case study in almost-perfect security for unconditionally secure communication

Landerreche, Esteban, Fernández-Duque, David

Journal:

Designs, Codes and Cryptography

Year:

2017

Language:

english

File:

PDF, 609 KB

english, 2017

17

A sound and complete axiomatization for Dynamic Topological Logic

Fernández-Duque, David

Journal:

Journal of Symbolic Logic

Year:

2012

Language:

english

File:

PDF, 233 KB

english, 2012

18

Egg oiling as an effective management technique for limiting reproduction in an invasive passerine

Fernandez-Duque, Facundo, Bailey, Robyn L., Bonter, David N.

Journal:

Avian Conservation and Ecology

Year:

2019

File:

PDF, 562 KB

2019

19

Dynamic topological logic of metric spaces

Fernández-Duque, David

Journal:

Journal of Symbolic Logic

Year:

2012

Language:

english

File:

PDF, 1.11 MB

english, 2012

20

Perfectly secure data aggregation via shifted projections

Fernández-Duque, David

Journal:

Information Sciences

Year:

2016

Language:

english

File:

PDF, 562 KB

english, 2016

21

The polytopologies of transfinite provability logic

Fernández-Duque, David

Journal:

Archive for Mathematical Logic

Year:

2014

Language:

english

File:

PDF, 535 KB

english, 2014

22

Verification logic

Aguilera, Juan Pablo, Fernández-Duque, David

Journal:

Journal of Logic and Computation

Year:

2017

Language:

english

File:

PDF, 247 KB

english, 2017

23

Non-finite axiomatizability of dynamic topological logic

Fernández-Duque, David

Journal:

ACM Transactions on Computational Logic

Year:

2014

Language:

english

File:

PDF, 290 KB

english, 2014

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@1delivery.pm

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски